16:15
            
            
                
                    - 16:30
                
            
        時変制御システムに対するコンパクト集合の安全性を保障するための零化制御バリア関数
                Zeroing barrier function for safety sertification of time-varying control system